Kenneth L. McMillan: Z-Libraryలో శోధించండి

జ్ఞానం మరియు సంస్కృతికి మీ గేట్‌వే. అందరికీ అందుబాటులో ఉంటుంది.

Don't use scam websites

వర్తింప చేసిన వడపోత సూచనలు

సరిగ్గా సరిపోలిక

సరిగ్గా సరిపోలిక

పుస్తకాలు (9)
అత్యంత ప్రజాదరణమైనవి
- ప్రకారం క్రమబద్ధీకరించు×
- అత్యంత ప్రజాదరణమైనవి
- ఉత్తమ సరిపోలిక
- ఇటీవల జోడించినవి
- శీర్షక ప్రకారం (అ-హ)
- శీర్షక ప్రకారం (హ-అ)
- సంవత్సరం ప్రకారం
- ఫైల్ పరిమాణం ↓
- ఫైల్ పరిమాణం ↑
జాబితా
- జాబితా
- పట్టిక

1

Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

Springer-Verlag Berlin Heidelberg

Roderick Bloem, Robert Könighofer (auth.), Kenneth L. McMillan, Xavier Rival (eds.)

సంవత్సరం:

2014

భాష:

english

ఫైల్:

PDF, 8.22 MB

0 / 0

english, 2014

2

Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings

Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Kenneth L. McMillan (auth.), Eran Yahav (eds.)

సంవత్సరం:

2011

భాష:

english

ఫైల్:

PDF, 3.85 MB

0 / 0

english, 2011

3

Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings

Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Kenneth L. McMillan (auth.), Ganesh Gopalakrishnan, Phillip Windley (eds.)

సంవత్సరం:

1998

భాష:

english

ఫైల్:

PDF, 4.13 MB

0 / 0

english, 1998

4

Symbolic Model Checking

Symbolic Model Checking

Kenneth L. McMillan (auth.)

సంవత్సరం:

1993

భాష:

english

ఫైల్:

PDF, 6.48 MB

0 / 0

english, 1993

5

Verification of Digital and Hybrid Systems

Verification of Digital and Hybrid Systems

Springer-Verlag Berlin Heidelberg

Kenneth McMillan (auth.), M. Kemal Inan, Robert P. Kurshan (eds.)

సంవత్సరం:

2000

భాష:

english

ఫైల్:

PDF, 9.71 MB

0 / 0

english, 2000

6

Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Ball, Nikolaj Bjørner, Leonardo de Moura, Kenneth L. McMillan, Margus Veanes (auth.), Alastair Donaldson, David Parker (eds.)

సంవత్సరం:

2012

భాష:

english

ఫైల్:

PDF, 4.24 MB

0 / 0

english, 2012

7

Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings

Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Kenneth L. McMillan (auth.), Ganesh Gopalakrishnan, Phillip Windley (eds.)

సంవత్సరం:

1998

భాష:

english

ఫైల్:

PDF, 4.14 MB

0 / 0

english, 1998

8

Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Ball, Nikolaj Bjørner, Leonardo de Moura, Kenneth L. McMillan, Margus Veanes (auth.), Alastair Donaldson, David Parker (eds.)

సంవత్సరం:

2012

భాష:

english

ఫైల్:

PDF, 4.69 MB

0 / 0

english, 2012

9

Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings

Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Kenneth L. McMillan (auth.), Eran Yahav (eds.)

సంవత్సరం:

2011

భాష:

english

ఫైల్:

PDF, 4.47 MB

0 / 0

english, 2011